1181. Software Composition
المؤلف: edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
1182. Software Engineering -- ESEC '95 :
المؤلف: edited by Wilhelm Schäfer, Pere Botella.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Software engineering.
1183. Software Engineering and Environment :
المؤلف: by Phillip C.-Y. Sheu.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Object-oriented programming (Computer science),Software engineering.
1184. Software Engineering with Computational Intelligence
المؤلف: edited by Taghi M. Khoshgoftaar.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Software engineering.
1185. Software engineering and formal methods :
المؤلف: Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
I58
2011
1186. Software testing :
المؤلف: Naresh Chauhan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software -- Testing.,Logiciels -- Essais.
رده :
QA76
.
76
.
T48
N374
2010
1187. Solving higher-order equations: from logic to programming
المؤلف: Prehofer, Christian
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer logic,، Declarative programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
.
P74
1997
1188. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
المؤلف: Gi-Chul Yang [and others], editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
رده :
TA5
.
G534
2013
1189. Specification and compositional verification of real-time systems
المؤلف: J. Hooman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Real-time data processing.,Real-time systemen.,Verificatie.
رده :
QA76
.
54
J466
1991
1190. Specification and verification of declarative open interaction models :
المؤلف: Marco Montali
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational intelligence,Computer logic,Declarative programming languages,Information technology,Management information systems,Business
رده :
QA76
.
9
.
L63
M66
2010
1191. Spring Web Flow 2 Web development :
المؤلف: Sven Luppken, Markus Stauble ; [reviewers, Luca Masini, Xinyu Liu].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Application software-- Development.,Java (Computer program language),Application software-- Development.,COMPUTERS-- Programming Languages-- C++,COMPUTERS-- Programming Languages-- General.,Java (Computer program language)
رده :
QA76
.
73
.
J38
L87
2009eb
1192. Starting Out with Programming Logic and Design
المؤلف: / Tony Gaddis
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1193. Starting out with Python /
المؤلف: Tony Gaddis.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Python (Computer program language),Python (Computer program language),Python (programmeertaal)
رده :
QA76
.
73
.
P98
G34
2009
1194. Starting out with Python
المؤلف: Tony Gaddis, Haywood Community College
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
1195. Starting out with programming logic & design
المؤلف: / Tony Gaddis
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming
رده :
QA76
.
6
.
G315
2008
1196. Static Analysis :
المؤلف: by Patrick Cousot, Moreno Falaschi, Gilberto File.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
1197. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings
المؤلف: Roberto Giacobazzi )ed.(
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
I5733
2004
1198. Statistisches Matching mit Fuzzy Logic :
المؤلف: Patrick Noll ; Mit einem Geleitw. von Paul Alpar.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Information theory.,Software engineering.,Computer Science, general.,Software Engineering/Programming and Operating Systems.,Theory of Computation.
رده :
GB656
.
2
.
H9
1199. Stochastic Versus Fuzzy Approaches to Multiobjective Mathematical Programming under Uncertainty
المؤلف: edited by Roman Slowinski, Jacques Teghem.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Economics.,Logic, Symbolic and mathematical.
رده :
QA402
.
5
E358
1990
